formal methods meaning in Chinese
形式化方法
Examples
- Formal methods for the design of real - time systems
实时系统设计的规范方法 - In this thesis , schematic summary about formal method is presented
在本文中，我们首先对形式化方法作了一个概要的介绍。 - Meanwhile , formal method ' s principle and major content were also dissertated
同时也阐述了形式化方法的原理及主要内容。 - Are we saying that it is not worth using formal methods in anti - virus technologies
那么，在反病毒技术中使用形式方法毫无意义吗？ - In order to satisfy this requirement , formal method which is based on precise mathematical foundation must been used
为了它到这个目的，必须使用具有严格数学基础的形式化方法。